/*******************************************************************************
 * Copyright (c) 2002, 2014 IBM Corp. and others
 *
 * This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License 2.0 which accompanies this
 * distribution and is available at https://www.eclipse.org/legal/epl-2.0/
 * or the Apache License, Version 2.0 which accompanies this distribution and
 * is available at https://www.apache.org/licenses/LICENSE-2.0.
 *
 * This Source Code may also be made available under the following
 * Secondary Licenses when the conditions for such availability set
 * forth in the Eclipse Public License, v. 2.0 are satisfied: GNU
 * General Public License, version 2 with the GNU Classpath
 * Exception [1] and GNU General Public License, version 2 with the
 * OpenJDK Assembly Exception [2].
 *
 * [1] https://www.gnu.org/software/classpath/license.html
 * [2] http://openjdk.java.net/legal/assembly-exception.html
 *
 * SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
 *******************************************************************************/
#define true 1
#define false 0
#include "floatsanityg.h"


   void group_JBddiv() {
      int i=0, groupNum=6,numTests=192;
      int testsPassed=0, testsFailed=0;
      unsigned int op_0 [] = {
         0x54442d18,0x400921fb, 
         0x7f3321d2,0x4022d97c, 
         0x54442d18,0x400921fb, 
         0x7f3321d2,0x4022d97c, 
         0x9effea46,0x40578fdb, 
         0x9effea46,0x40678fdb, 
         0xb73fefb5,0x4071abe4, 
         0x9effea46,0x40778fdb, 
         0x86bfe4d8,0x407d73d2, 
         0x2b1fecfe,0x40849de0, 
         0x9effea46,0x40878fdb, 
         0x12dfe78f,0x408a81d7, 
         0x86bfe4d8,0x408d73d2, 
         0xfd4ff110,0x409032e6, 
         0x712fee59,0x409324e2, 
         0x2b1fecfe,0x40949de0, 
         0xe50feba2,0x409616dd, 
         0x9effea46,0x40978fdb, 
         0x58efe8eb,0x409908d9, 
         0xcccfe634,0x409bfad4, 
         0x86bfe4d8,0x409d73d2, 
         0x40afe37d,0x409eecd0, 
         0xfd4ff110,0x40a032e6, 
         0xda47f063,0x40a0ef65, 
         0xfefa39ef,0x3fe62e42, 
         0x00000000,0x7ff80000, 
         0x00000000,0xfff00000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc0690000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0xc0019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0xbff00000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80040000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00040000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0x40019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0x40690000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x408f4000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x9effea46,0x40478fdb, 
         0x00000000,0x402e0000, 
         0x9effea46,0x40578fdb, 
         0x00000000,0x403e0000, 
         0xb73fefb5,0x4061abe4, 
         0x00000000,0x40468000, 
         0x9effea46,0x40678fdb, 
         0x00000000,0x404e0000, 
         0x86bfe4d9,0x406d73d2, 
         0x00000000,0x4052c000, 
         0xb73fefb5,0x4071abe4, 
         0x00000000,0x40568000, 
         0x2b1fecfe,0x40749de0, 
         0x00000000,0x405a4000, 
         0x9effea46,0x40778fdb, 
         0x00000000,0x405e0000, 
         0x12dfe78f,0x407a81d7, 
         0x00000000,0x4060e000, 
         0x86bfe4d9,0x407d73d2, 
         0x00000000,0x4062c000, 
         0xfd4ff110,0x408032e6, 
         0x00000000,0x4064a000, 
         0xb73fefb5,0x4081abe4, 
         0x00000000,0x40668000, 
         0x712fee59,0x408324e2, 
         0x00000000,0x40686000, 
         0x2b1fecfe,0x40849de0, 
         0x00000000,0x406a4000, 
         0xe50feba2,0x408616dd, 
         0x00000000,0x406c2000, 
         0x9effea46,0x40878fdb, 
         0x00000000,0x406e0000, 
         0x58efe8eb,0x408908d9, 
         0x00000000,0x406fe000, 
         0x12dfe78f,0x408a81d7, 
         0x00000000,0x4070e000, 
         0xcccfe635,0x408bfad4, 
         0x00000000,0x4071d000, 
         0x86bfe4d9,0x408d73d2, 
         0x00000000,0x4072c000, 
         0x40afe37d,0x408eecd0, 
         0x00000000,0x4073b000, 
         0xfd4ff110,0x409032e6, 
         0x00000000,0x4074a000, 
         0xda47f063,0x4090ef65, 
         0x00000000,0x40759000, 
         0xb73fefb5,0x4091abe4, 
         0x00000000,0x40768000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x9effea46,0xc0478fdb, 
         0x00000000,0xc02e0000, 
         0x9effea46,0xc0578fdb, 
         0x00000000,0xc03e0000, 
         0xb73fefb5,0xc061abe4, 
         0x00000000,0xc0468000, 
         0x9effea46,0xc0678fdb, 
         0x00000000,0xc04e0000, 
         0x86bfe4d9,0xc06d73d2, 
         0x00000000,0xc052c000, 
         0xb73fefb5,0xc071abe4, 
         0x00000000,0xc0568000, 
         0x2b1fecfe,0xc0749de0, 
         0x00000000,0xc05a4000, 
         0x9effea46,0xc0778fdb, 
         0x00000000,0xc05e0000, 
         0x12dfe78f,0xc07a81d7, 
         0x00000000,0xc060e000, 
         0x86bfe4d9,0xc07d73d2, 
         0x00000000,0xc062c000, 
         0xfd4ff110,0xc08032e6, 
         0x00000000,0xc064a000, 
         0xb73fefb5,0xc081abe4, 
         0x00000000,0xc0668000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x33333333,0x3ff73333, 
         0xffffffff,0x001fffff, 
         0xffffffff,0x000fffff, 
         0xffffffff,0x001fffff, 
         0x02000000,0x20000000, 
         0x00000000,0x00100000, 
         0x00000001,0x00100000, 
         0x91f02500,0x02f77b3c, 
         0x0, 0x0};
      unsigned int op_1 [] = {
         0x00000000,0x40000000, 
         0x00000000,0x40000000, 
         0x00000000,0x40100000, 
         0x00000000,0x40100000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0x00000000,0x40768000, 
         0xbbb55516,0x40026bb1, 
         0x00000000,0xfff00000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc0690000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0xc0019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0xbff00000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80040000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00040000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0x40019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0x40690000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x408f4000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40690000, 
         0x00000000,0xc0690000, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff00000, 
         0x00000000,0xfff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40690000, 
         0x00000000,0xc0690000, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff00000, 
         0x00000000,0xfff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40690000, 
         0x00000000,0xc0690000, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff00000, 
         0x00000000,0xfff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40690000, 
         0x00000000,0xc0690000, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff00000, 
         0x00000000,0xfff00000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x00000000,0x00000000, 
         0x00000000,0x40000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xbfe00000, 
         0x02000001,0x5fe00000, 
         0x00000001,0x3ff00000, 
         0x00000002,0x3ff00000, 
         0xeee18aa0,0x42e1dd9d, 
         0x0, 0x0};
      unsigned int result [] = {
         0x54442d18,0x3ff921fb, 
         0x7f3321d2,0x4012d97c, 
         0x54442d18,0x3fe921fb, 
         0x7f3321d2,0x4002d97c, 
         0x382d7365,0x3fd0c152, 
         0x382d7365,0x3fe0c152, 
         0x54442d18,0x3fe921fb, 
         0x382d7365,0x3ff0c152, 
         0xc638d03f,0x3ff4f1a6, 
         0xe24f89f2,0x3ffd524f, 
         0x382d7365,0x4000c152, 
         0x7f3321d2,0x4002d97c, 
         0xc638d03f,0x4004f1a6, 
         0x0d3e7eab,0x400709d1, 
         0x9b49db84,0x400b3a25, 
         0xe24f89f2,0x400d524f, 
         0x2955385e,0x400f6a7a, 
         0x382d7365,0x4010c152, 
         0x5bb04a9c,0x4011cd67, 
         0xa2b5f909,0x4013e591, 
         0xc638d03f,0x4014f1a6, 
         0xe9bba775,0x4015fdbb, 
         0x0d3e7eab,0x401709d1, 
         0x30c155e2,0x401815e6, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff00000, 
         0x00000000,0xfff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x47ae147b,0x3f747ae1, 
         0x47ae147b,0xbf747ae1, 
         0x00000000,0x00040000, 
         0x00000000,0x80040000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0xfff00000, 
         0x00000000,0x7ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x3ff00000, 
         0x47ae147b,0xbf747ae1, 
         0x47ae147b,0x3f747ae1, 
         0x00000000,0x80040000, 
         0x00000000,0x00040000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0xffffffff,0x402dffff, 
         0x55555555,0x3fb55555, 
         0xffffffff,0x403dffff, 
         0x55555555,0x3fc55555, 
         0x00000000,0x40468000, 
         0x00000000,0x3fd00000, 
         0xffffffff,0x404dffff, 
         0x55555555,0x3fd55555, 
         0x00000001,0x4052c000, 
         0xaaaaaaab,0x3fdaaaaa, 
         0x00000000,0x40568000, 
         0x00000000,0x3fe00000, 
         0x00000000,0x405a4000, 
         0xaaaaaaab,0x3fe2aaaa, 
         0xffffffff,0x405dffff, 
         0x55555555,0x3fe55555, 
         0x00000000,0x4060e000, 
         0x00000000,0x3fe80000, 
         0x00000001,0x4062c000, 
         0xaaaaaaab,0x3feaaaaa, 
         0xffffffff,0x40649fff, 
         0x55555555,0x3fed5555, 
         0x00000000,0x40668000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x40686000, 
         0x55555555,0x3ff15555, 
         0x00000000,0x406a4000, 
         0xaaaaaaab,0x3ff2aaaa, 
         0x00000000,0x406c2000, 
         0x00000000,0x3ff40000, 
         0xffffffff,0x406dffff, 
         0x55555555,0x3ff55555, 
         0x00000000,0x406fe000, 
         0xaaaaaaab,0x3ff6aaaa, 
         0x00000000,0x4070e000, 
         0x00000000,0x3ff80000, 
         0x00000001,0x4071d000, 
         0x55555555,0x3ff95555, 
         0x00000001,0x4072c000, 
         0xaaaaaaab,0x3ffaaaaa, 
         0x00000000,0x4073b000, 
         0x00000000,0x3ffc0000, 
         0xffffffff,0x40749fff, 
         0x55555555,0x3ffd5555, 
         0x00000000,0x40759000, 
         0xaaaaaaab,0x3ffeaaaa, 
         0x00000000,0x40768000, 
         0x00000000,0x40000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0xffffffff,0xc02dffff, 
         0x55555555,0xbfb55555, 
         0xffffffff,0xc03dffff, 
         0x55555555,0xbfc55555, 
         0x00000000,0xc0468000, 
         0x00000000,0xbfd00000, 
         0xffffffff,0xc04dffff, 
         0x55555555,0xbfd55555, 
         0x00000001,0xc052c000, 
         0xaaaaaaab,0xbfdaaaaa, 
         0x00000000,0xc0568000, 
         0x00000000,0xbfe00000, 
         0x00000000,0xc05a4000, 
         0xaaaaaaab,0xbfe2aaaa, 
         0xffffffff,0xc05dffff, 
         0x55555555,0xbfe55555, 
         0x00000000,0xc060e000, 
         0x00000000,0xbfe80000, 
         0x00000001,0xc062c000, 
         0xaaaaaaab,0xbfeaaaaa, 
         0xffffffff,0xc0649fff, 
         0x55555555,0xbfed5555, 
         0x00000000,0xc0668000, 
         0x00000000,0xbff00000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x00100000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0x802fffff, 
         0xffffffff,0x000fffff, 
         0xffffffff,0x000fffff, 
         0xffffffff,0x000fffff, 
         0xd5f1643f,0x000a83be, 
         0x0, 0x0};
      double *p0=(double *) op_0;
      double *p1=(double *) op_1;
      double *erp=(double*) result, r, *rp=&r;
      for (i=0; i<numTests; i++) {
         r = JBddiv(*(p0), *(p1));
         if ( IS_DNAN(erp) ){
            if ( !(IS_DNAN(&r)) ){
               printf("%d.%d: op_0=0x%08x%08x , op_1=0x%08x%08x Expected=0x%08x%08x Actual=0x%08x%08x \n",
                  groupNum, i, 
                  *((int *)p0+1), *(int *)p0, *((int *)p1+1), *(int *)p1, *((int *) erp + 1), *(int *)erp, *((int *) &r + 1), *(int *)&r);
               testsFailed++;
            } else {
               testsPassed++;
            }

         } else {
            if ( (HIWORD(&r) != HIWORD(erp)) || (LOWORD(&r) != LOWORD(erp)) ){
               printf("%d.%d: op_0=0x%08x%08x , op_1=0x%08x%08x Expected=0x%08x%08x Actual=0x%08x%08x \n",
                  groupNum, i, 
                  *((int *)p0+1), *(int *)p0, *((int *)p1+1), *(int *)p1, *((int *) erp + 1), *(int *)erp, *((int *) &r + 1), *(int *)&r);
               testsFailed++;
            } else {
               testsPassed++;
            }
         }

         p0++;p1++;erp++;
      }
      printf("[%d] %s Passed %d Failed %d Total %d \n", groupNum,"JBddiv", testsPassed, testsFailed, numTests);
      totalNumTest +=numTests; totalTestsPassed +=testsPassed; totalTestsFailed +=testsFailed;
   }

